1993年度ACMチューリング賞受賞記念講演 計算の複雑さと計算機科学の性質について